perm filename CSREAS.UNF[MRS,LSP]1 blob
sn#690817 filedate 1982-12-15 generic text, type T, neo UTF8
'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) CSREAS LSP))
'(ASSEMBLED BY FASLAP /392)
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117)
;COMPILED ON DECEMBER 15, 1982, AT 1:59 PM
;Loading DEFSTRUCT 280
'REASONING-GRAPH
'RG-DIRECTORY-ENTRY
'BELIEF
'QUERY
(COMMENT **FASL** 0. (LAP |BELIEF-FORMULA MACRO| SUBR))
(COMMENT **FASL** 29. (LAP |RP-NODE-FORMULA MACRO| SUBR))
(COMMENT **FASL** 57. (LAP |QUERY-FORMULA MACRO| SUBR))
(COMMENT **FASL** 86. (LAP |BELIEF-DESCRIPTS MACRO| SUBR))
(COMMENT **FASL** 115. (LAP |QUERY-DESCRIPTS MACRO| SUBR))
(COMMENT **FASL** 144. (LAP |BELIEF-BEL-LEVEL MACRO| SUBR))
(COMMENT **FASL** 172. (LAP |QUERY-BEL-LEVEL MACRO| SUBR))
'EPISTATUS
(COMMENT **FASL** 200. (LAP |CSR:CREATE-BLF∨QRY MACRO| SUBR))
'REASONING-TASK
'REASONING-PROPOSITION-NODE
'REASONING-CONSIDERATION-LINK
'CONSIDERATION-FORCE
(COMMENT **FASL** 334. (LAP |CREATE-ADVICE-CONSID MACRO| SUBR))
(COMMENT **FASL** 374. (LAP CSR:COPY-CONSID SUBR))
'QMP-CONSID
'STAT-CONSID
'NEG-CONSID
'DN-CONSID
'CINF-CONSID
'CACT-CONSID
'CAUS-CONSID
'REASONING-EXPERT
(COMMENT **FASL** 418. (LAP LTI-CREATE-WFF-NEGATION SUBR))
(COMMENT **FASL** 435. (LAP |A-GET MACRO| SUBR))
(COMMENT **FASL** 469. (LAP |R-A-GET MACRO| SUBR))
(COMMENT **FASL** 503. (LAP |CSR:NEGATE-BEL-LEVEL MACRO| SUBR))
(COMMENT **FASL** 530. (LAP CSR:INITIALIZE-R-GRAPH SUBR))
(COMMENT **FASL** 560. (LAP CSR:UPDATE-R-GRAPH SUBR))
(COMMENT **FASL** 799. (LAP CSR:GET-RP-NODE SUBR))
(COMMENT **FASL** 857. (LAP CSR:UPDATE-RG-DIRECTORY SUBR))
(COMMENT **FASL** 896. (LAP CSR:INSTALL-CONSID-LINK SUBR))
(COMMENT **FASL** 936. (LAP CSR:PROPAGATE-DETERMINACY SUBR))
(COMMENT **FASL** 980. (LAP EQUAL-EPISTATI SUBR))
(COMMENT **FASL** 1003. (LAP CSR:CREATE-B∨Q-NEGATION SUBR))
(COMMENT **FASL** 1115. (LAP CSR:CREATE-FUNDAMENTAL-CONTEXTS SUBR))
(COMMENT **FASL** 1125. (LAP A-PUTPROP SUBR))
(COMMENT **FASL** 1157. (LAP CSR:INVESTIGATE-FROM-MEMORY LSUBR))
(COMMENT **FASL** 1257. (LAP CSR:CREATE-NORMAL-QUERY SUBR))
(COMMENT **FASL** 1310. (LAP CSR:NORMALIZE-EPISTATUS SUBR))
(COMMENT **FASL** 1366. (LAP CSR:MEMORY-LOOKUP SUBR))
(COMMENT **FASL** 1368. (LAP CSR:RECORD-BELIEF SUBR))
(COMMENT **FASL** 1373. (LAP CSR:HOW-CONCLUSIVE? SUBR))
(COMMENT **FASL** 1403. (LAP CSR:NORMALIZE-BELIEF-TYPE SUBR))
(COMMENT **FASL** 1444. (LAP CSR:ENTER-MEMORY-CONSID SUBR))
(COMMENT **FASL** 1447. (LAP CSR:FIND-CONSIDERATIONS SUBR))
(COMMENT **FASL** 1530. (LAP CSR:FIND-REASONING-TASKS SUBR))
(COMMENT **FASL** 1550. (LAP AT:INSERT-IN-AGENDA SUBR))
(COMMENT **FASL** 1618. (LAP CSR:FIND-HR-TASKS SUBR))
(COMMENT **FASL** 1620. (LAP CSR:FIND-RR-TASKS SUBR))
(COMMENT **FASL** 1672. (LAP CSR:GET-R-EXPERT SUBR))
(COMMENT **FASL** 1695. (LAP CSR:FIND-R-EXPERTS SUBR))
(COMMENT **FASL** 1748. (LAP CSR:BEST-R-TASK SUBR))
(COMMENT **FASL** 1771. (LAP CSR:MORE-URGENT:1 SUBR))
(COMMENT **FASL** 1779. (LAP CSR:ORDER-AGENDA SUBR))
(COMMENT **FASL** 1781. (LAP CSR:DO-R-TASK1-AGENDA SUBR))
(COMMENT **FASL** 1805. (LAP CSR:DO-BEST-R-TASK-AGENDA SUBR))
(COMMENT **FASL** 1825. (LAP CSR:DO-ALL-R-TASKS-AGENDA SUBR))
(COMMENT **FASL** 1858. (LAP CSR:KNOWLEDGE-LOOKUP-ALL SUBR))
(COMMENT **FASL** 1923. (LAP CSR:KNOWLEDGE-LOOKUP SUBR))
(COMMENT **FASL** 1977. (LAP >-BEL-LEVEL SUBR))
(COMMENT **FASL** 1993. (LAP ≥-BEL-LEVEL SUBR))
(COMMENT **FASL** 2012. (LAP <-BEL-LEVEL SUBR))
(COMMENT **FASL** 2027. (LAP ≤-BEL-LEVEL SUBR))
(COMMENT **FASL** 2047. (LAP CSR:COMPOSE-CONSIDERATIONS SUBR))
(COMMENT **FASL** 2172. (LAP CSR:ONE-DOMINATING-DED-CONSID SUBR))
(COMMENT **FASL** 2211. (LAP HAS-NON-ZERO-FORCE SUBR))
(COMMENT **FASL** 2219. (LAP CSR:COMPUTE-CONSID-FORCES SUBR))
(COMMENT **FASL** 2273. (LAP CSR:COMPUTE-CONSID-FORCE SUBR))
(COMMENT **FASL** 2304. (LAP CSR:CERTAIN-AWPC SUBR))
(COMMENT **FASL** 2316. (LAP CSR:CERTAINLY-FALSE-AWPC SUBR))
(COMMENT **FASL** 2326. (LAP CSR:CREATE-NEGATION-CONSIDS SUBR))
(COMMENT **FASL** 2383. (LAP MIN-BEL-LEVEL SUBR))
(COMMENT **FASL** 2403. (LAP CSR:COMPUTE-BEL-LEVEL SUBR))
(COMMENT **FASL** 2428. (LAP QUANT-MP-BM-PREDICATE1 SUBR))
(COMMENT **FASL** 2451. (LAP |[MRS,LSP]CSREAS.LSP←1.| SUBR))
(COMMENT **FASL** 2477. (LAP |[MRS,LSP]CSREAS.LSP←2.| SUBR))
(COMMENT **FASL** 2481. (LAP |[MRS,LSP]CSREAS.LSP←3.| SUBR))
(COMMENT **FASL** 2484. (LAP |[MRS,LSP]CSREAS.LSP←4.| SUBR))
(COMMENT **FASL** 2494. (LAP |[MRS,LSP]CSREAS.LSP←5.| SUBR))
(COMMENT **FASL** 2496. (LAP |[MRS,LSP]CSREAS.LSP←6.| SUBR))
(COMMENT **FASL** 2499. (LAP QUANT-MP-B-METHOD SUBR))
(COMMENT **FASL** 2745. (LAP STATIST-BM-PREDICATE1 SUBR))
(COMMENT **FASL** 2768. (LAP |[MRS,LSP]CSREAS.LSP←7.| SUBR))
(COMMENT **FASL** 2794. (LAP |[MRS,LSP]CSREAS.LSP←8.| SUBR))
(COMMENT **FASL** 2798. (LAP |[MRS,LSP]CSREAS.LSP←9.| SUBR))
(COMMENT **FASL** 2801. (LAP |[MRS,LSP]CSREAS.LSP←10.| SUBR))
(COMMENT **FASL** 2811. (LAP |[MRS,LSP]CSREAS.LSP←11.| SUBR))
(COMMENT **FASL** 2813. (LAP |[MRS,LSP]CSREAS.LSP←12.| SUBR))
(COMMENT **FASL** 2816. (LAP STATIST-B-METHOD SUBR))
(COMMENT **FASL** 3062. (LAP XPRG LSUBR))
(COMMENT **FASL** 3086. (LAP EXPLORE-R-GRAPH LSUBR))
'R-GRAPH-DISPLAY-DIRECTORY-ENTRY
'R-GRAPH-DISPLAY-LINE
'D-LINE-POINTER-PAIR
(COMMENT **FASL** 3414. (LAP CSR:SUMMARIZE-R-GRAPH SUBR))
(COMMENT **FASL** 3445. (LAP CSR:NORMALIZE-DISPLAY-LIST SUBR))
(COMMENT **FASL** 3492. (LAP |[MRS,LSP]CSREAS.LSP←13.| SUBR))
(COMMENT **FASL** 3500. (LAP CSR:PUSH-D-LINES SUBR))
(COMMENT **FASL** 3529. (LAP PROPAGATE-MAX-LEVEL SUBR))
(COMMENT **FASL** 3549. (LAP CSR:CONSTRUCT-RG-DISPLAY-LINES:RP-NODE SUBR))
(COMMENT **FASL** 3671. (LAP CSR:CONSTRUCT-RG-DISPLAY-LINE SUBR))
(COMMENT **FASL** 3865. (LAP CSR:DISPLAY-RG-SUMMARY SUBR))
(COMMENT **FASL** 3897. (LAP CSR:DISPLAY-RG-D-LIST SUBR))
(COMMENT **FASL** 3979. (LAP DISPLAY-CURRENT-ITEM SUBR))
(COMMENT **FASL** 3994. (LAP MOVE-TO-NEW-ITEM SUBR))
(COMMENT **FASL** 4069. (LAP DISPLAY-B∨Q-F-DESCRIPTS SUBR))
(COMMENT **FASL** 4115. (LAP IDENTIFY-ITEM SUBR))
(COMMENT **FASL** 4195. (LAP DISPLAY-RP-NODE SUBR))
(COMMENT **FASL** 4504. (LAP CSR:CLASSIFY-CONSIDS SUBR))
(COMMENT **FASL** 4539. (LAP DISPLAY-RPN-BL-GROUNDS SUBR))
(COMMENT **FASL** 4648. (LAP DBQ SUBR))
(COMMENT **FASL** 4649. (LAP DISPLAY-BLF∨QRY SUBR))
(COMMENT **FASL** 4774. (LAP B∨Q∧EPIST-FIELD-CONTENTS SUBR))
(COMMENT **FASL** 4849. (LAP RPN-FIELD-CONTENTS SUBR))
(COMMENT **FASL** 4884. (LAP DISPLAY-CONSID SUBR))
(COMMENT **FASL** 5103. (LAP C-FIELD-CONTENTS SUBR))
(COMMENT **FASL** 5157. (LAP XPRG-HELP SUBR))
(COMMENT **FASL** 5176. (LAP XPTR LSUBR))
(COMMENT **FASL** 5195. (LAP EXPLORE-TASK-RECORD LSUBR))
(COMMENT **FASL** 5475. (LAP MOVE-TO-TASK SUBR))
(COMMENT **FASL** 5575. (LAP COUNT-TASKS SUBR))
(COMMENT **FASL** 5637. (LAP CLASSIFY-TASKS SUBR))
(COMMENT **FASL** 5687. (LAP DISPLAY-TASK SUBR))
(COMMENT **FASL** 5756. (LAP DISPLAY-TASK-ARGS SUBR))
(COMMENT **FASL** 5759. (LAP TASK-FIELD-CONTENTS SUBR))
(COMMENT **FASL** 5811. (LAP XPTR-HELP SUBR))
(COMMENT **** (TAB GET-XPDN-COMMAND %UMATCH CONTEXT:PRED-LOOKUP
CONTEXT:PRED-LOOKUP-ALL TCONC CONTEXT:ADD CONTEXT:LOOKUP
CONTEXT:SPROUT-CONTEXT LT-TYPE) have been used but remain undefined in this
file)
(COMMENT **FASL** TOTAL = 5827. WORDS)